Model‐driven architecture based security analysis

This paper proposes a Model-Driven Architecture approach for the development of an embedded system validation platform namely Model-Based Security Analysis Embedded Systems (MBSAES). The security properties are formally modeled and verified at early stage design process system, which helps to reduce late errors time. A separation attack scenarios from implementation details has been respected. To transform semi-formal models SysML NuSVM model checking platform, two Model-to-Text, horizontal exogenous transformations have implemented. first one employs programming with Java create Computational Tree Logic specification Extended Attack Tree, whereas second uses template Acceleo generate NuSMV code structural behavioral models. illustrate our approach, a case study, involving attacks aiming unlock car door systems, via signal jamming replaying, is considered. results this research will contribute automatic designs against vulnerabilities database extended trees building existing atomic attacks.